First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
641	Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 29, 1996 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:15:36 Propositional calculus Model theory Boolean algebra Logical syntax First-order logic Propositional formula Axiom Interpretation Substitution Logic Mathematical logic Mathematics
642	Coreference and Modality Jeroen Groenendijk Martin Stokhof Frank Veltman illc/Department of Philosophy University of Amsterdam Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-10-08 21:37:26 Philosophy of language Interpretation Non-logical symbol Discourse representation theory First-order logic Meaning Scope Domain of discourse Anaphora Semantics Logic Linguistics
643	Notes on Continuous First-Order Logic Gregory Wheeler CENTRIA Center for Artificial Intelligence Universidade Nova de Lisboa Abstract Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-09-27 08:27:12 Separation axioms Metric geometry Hausdorff space Uniform space Metric space Closed set Connected space Compact space Continuous function Topology General topology Topological spaces
644	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic⋆ Christoph Benzm¨ uller1 , Lawrence C. Paulson2 , Frank Theiss1 , and Arnaud Fietzke3 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:27 Automated theorem proving Vampire Resolution First-order logic Term indexing Unification FO Proof assistant Isabelle Logic Mathematics Mathematical logic
645	93 ECAI 2014 T. Schaub et al. (Eds.) © 2014 The Authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2014-09-27 08:52:53 Non-classical logic Metalogic Interpretation Modal logic Symbol First-order logic Logic Mathematical logic Model theory
646	Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic? Christoph Benzm¨ uller1,2 , Larry Paulson1 , Frank Theiss2 , and Arnaud Fietzke2 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:07 Mathematics Formal methods Resolution Lambda calculus First-order logic Logic programming Unification Vampire Simply typed lambda calculus Theoretical computer science Automated theorem proving Mathematical logic
647	Quantifiers and n-ary Binders: an OpenMath Standard Enhancement Proposal Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden; Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:50:41 Predicate logic Markup languages Mathematical markup languages Computability theory OpenMath First-order logic Quantification MathML Lambda calculus Logic Mathematical logic Mathematics
648	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism
649	Robot Architectures for Believable Game Agents Ian D. Horswill and Robert Zubek Institute for the Learning Sciences, Northwestern University 1890 Maple Ave., Suite 300 Evanston, IL 60201 {ian,rob}@cs.nwu.edu Add to Reading List Source URL: robert.zubek.net Language: English - Date: 2007-04-21 19:39:55 Robotics Technology Software architecture Computational neuroscience Subsumption architecture Robot Actor model First-order logic Cog Science Artificial intelligence Cognitive architecture
650	On Specifying Truth-Conditions∗ Agust´ın Rayo Massachusetts Institute of Technology December 4, 2007 Consider a committalist—someone who believes that assertions of a sentence like ‘the number of the planets is 8 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2007-12-04 13:13:48 Predicate logic Model theory Philosophy of language Semantics First-order logic Function Proposition Constructible universe Quantification Logic Mathematical logic Mathematics

UPDATE